$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$). next(${\it tab}$) $\in$ (?(:\{0..$\parallel$${\it tab}$$\parallel$ $^{-}$\} $\times$ Atom1))